On Integrating the MÖBIUS and MODEST Modeling Tools
نویسندگان
چکیده
Henrik Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders a Formal Methods and Tools Group, Department of Computer Science University of Twente, P.O. Box 217, 7500 AE Enschede, The Netherlands b Coordinated Science Laboratory, Department of Electrical and Computer Engineering University of Illinois at Urbana-Champaign, 1308 West Main Street, Urbana (IL), USA
منابع مشابه
Marketing Strategy Evaluation by Integrating Dynamic Systems Modeling and Network Data Envelopment Analysis
Nowadays, the service industries play an essential role in the economic development of countries, and among the various fields of insurance, life insurance is of particular importance because it covers its cover directly to humans. Increased competition in the insurance industry has led managers to seek marketing strategies that, in addition to increasing insurance sales, reduce costs and gain ...
متن کاملConceptual Agent based Modeling in Supply Chain: An Economic Perspective
Abstract: The implementation of government legislation, social responsibility, environmental concerns regarding the reduction of waste, hazardous material and other consumer residuals have made the competition between the firms stricter than ever and nowadays firms that want to survive need a more productive and innovative approach toward the financial aspects of their businesses.his pape...
متن کاملMöbius: an integrated discrete-event modeling environment
UNLABELLED Möbius has found numerous applications in computational biology to build and solve stochastic models of biological processes. It provides the user with a modeling workflow and several sophisticated features that are not available in the simulation tools commonly used by computational biologists. AVAILABILITY Möbius is free for academic users. It can be downloaded from www.mobius.ui...
متن کاملMöbius: An Extensible Tool for Performance and Dependability Modeling
Möbius is a tool for building performance and dependability models of stochastic, discrete-event systems. Möbius makes validation of large dependability models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms. The motivation for building the Möbius tool is based upon the observation that no formalism has shown itself to ...
متن کاملThe Möbius Modeling Tool
Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to co...
متن کامل